package com.tressatisfiability.client;

import com.google.gwt.user.client.ui.DecoratorPanel;
import com.google.gwt.user.client.ui.HTML;
import com.google.gwt.user.client.ui.VerticalPanel;

public class Informacion extends DecoratorPanel {
	private VerticalPanel panelVertical;
	private ClientController controlador;

	Informacion(ClientController controller) {
		this.controlador = controller;
		panelVertical = new VerticalPanel();
		panelVertical.setSpacing(5);
		panelVertical
				.add(new HTML(
						"<H2>Instrucciones</H2><div>Escriba en el campo de texto una formula en el formato <code>'Conjunctive Normal Form'</code>.<div>El Resultado se mostrara inmediatamente.<div><H2>Conjunctive Normal Form</H2><div>Las líneas que empiecen con '#0 son tomadas como comentarios.<div>La primera línea no comentada deberá tener tres números naturales, el primero indica el número de variables, el segundo el número de cláusulas y el tercero el número de variables por cláusula.<div>A partir de la segunda línea se describen las clausulas. Cada variable es representada por su índice, de 1 a n. En caso de que la variable este negada se escribe el indice negativo."));
		panelVertical
				.add(new HTML(
						"<H2>Ejemplo</H2><div><code># example of encoding<div>10 7 3<div>7 -1 -6<div>6 -7 -4<div>-3 -8 6<div>8 -6 -1<div>-10 2 8<div>5 -6 -4<div>1 -7 -6</code><div>"));
		setStyleName("Ventana");
		setWidget(panelVertical);
		setSize("230px", "610px");
	}
}
